On Pi_2 Theories of hp-T Degrees of Low Sets
نویسندگان
چکیده
The honest polynomial-time Turing (hp-T) reducibility, < :p, was first introduced by Homer (e.g. [6)). It has been known that the structural properties of the hp-T degrees of the recursive sets and those of the A; sets are closely related to the P =?NP problem. Homer [6,7] and Homer and Long [S] proved assuming P=NP that there is a As set which is <p minimal, and then Ambos-Spies [2] improved their results by
منابع مشابه
Nonlinear Finite Element Analysis of Bending of Straight Beams Using hp-Spectral Approximations
Displacement finite element models of various beam theories have been developed using traditional finite element interpolations (i.e., Hermite cubic or equi-spaced Lagrange functions). Various finite element models of beams differ from each other in the choice of the interpolation functions used for the transverse deflection w, total rotation φ and/or shear strain γxz, or in the integral form u...
متن کاملDegrees of M-fuzzy families of independent L-fuzzy sets
The present paper studies fuzzy matroids in view of degree. First wegeneralize the notion of $(L,M)$-fuzzy independent structure byintroducing the degree of $M$-fuzzy family of independent $L$-fuzzysets with respect to a mapping from $L^X$ to $M$. Such kind ofdegrees is proved to satisfy some axioms similar to those satisfiedby $(L,M)$-fuzzy independent structure. ...
متن کاملPOWERSET OPERATORS OF EXTENSIONAL FUZZY SETS
Powerset structures of extensional fuzzy sets in sets with similarity relations are investigated. It is proved that extensional fuzzy sets have powerset structures which are powerset theories in the category of sets with similarity relations, and some of these powerset theories are defined also by algebraic theories (monads). Between Zadeh's fuzzy powerset theory and the classical powerset theo...
متن کاملEffects of Dietary Protein and Energy Levels on Productive and Reproductive Performance of Lactating Buffaloes
Twenty eight lactating buffaloes were used in a completely randomized design with 2×2 factorial arrangement of four experimental diets including low protein–low energy (LP-LE), low protein–high energy (LP-HE), high protein–low energy (HP-LE) and high protein–high energy (HP-HE). Results showed that the HP-HE diet recorded the highest digestibility coefficients of CP, EE, NFE, nutritive values, ...
متن کاملPOWERSET OPERATOR FOUNDATIONS FOR CATALG FUZZY SET THEORIES
The paper sets forth in detail categorically-algebraic or catalg foundations for the operations of taking the image and preimage of (fuzzy) sets called forward and backward powerset operators. Motivated by an open question of S. E. Rodabaugh, we construct a monad on the category of sets, the algebras of which generate the fixed-basis forward powerset operator of L. A. Zadeh. On the next step, w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 123 شماره
صفحات -
تاریخ انتشار 1994